Buy Used and New Daniel Kroening Books

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783540741046

Format: Hardcover (304 pages)
Publisher: Springer
Published: 23 May 2008

Save for later

Digitaltechnik - Eine Praxisnahe Einfa1/4hrung: Eine praxisnahe Einführung (Springer-Lehrbuch)

by Armin Biere,Daniel Kroening,Christoph Wintersteiger

ISBN 13: 9783540777281

Format: Paperback (226 pages)
Publisher: Springer
Published: Apr 2008

Save for later

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783642195822

Format: Paperback (207 pages)
Publisher: Springer
Published: 17 Mar 2011

Save for later

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I: 9206 (Lecture Notes in Computer Science)

by Daniel Kroening,Corina S. Pasareanu

ISBN 13: 9783319216898

Format: Paperback (704 pages)
Publisher: Springer
Published: 27 Jul 2015

Save for later

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783662504963

Format: Hardcover (377 pages)
Publisher: Springer
Published: 27 Jan 2017

Save for later

Validation of Evolving Software

by Hana Chockler,Daniel Kroening,Leonardo Mariani,Natasha Sharygina

ISBN 13: 9783319382005

Format: Paperback (228 pages)
Publisher: Springer
Published: 17 Oct 2016

Save for later

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

by Daniel Kroening,Ofer Strichman

ISBN 13: 9783662570654

Format: Paperback (377 pages)
Publisher: Springer
Published: 13 Jul 2018

Save for later